Eco-Grammar Systems

BOOK CHAPTER published 2004 in Formal Languages and Applications

Authors: Alica Kelemenová

Generalised Stream X-Machines and Cooperating Distributed Grammar Systems

JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing

Authors: Marian Gheorghe

Neither Logically Omniscient nor Completely Irrational Agents: Principles for a Fine-Grained Analysis of Propositional Attitudes and Attitude Revision

BOOK CHAPTER published 2011 in Dynamic Formal Epistemology

Authors: Daniel Vanderveken

Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems

JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing

Authors: Xudong He | John A. N. Lee

A formal approach for the construction and verification of railway control systems

JOURNAL ARTICLE published March 2011 in Formal Aspects of Computing

Authors: Anne E. Haxthausen | Jan Peleska | Sebastian Kinder

A model checking-based approach for security policy verification of mobile systems

JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing

Authors: Chiara Braghin | Natasha Sharygina | Katerina Barone-Adesi

Verification of distributed systems with local–global predicates

JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing

Authors: K. Mani Chandy | Brian Go | Sayan Mitra | Concetta Pilotto | Jerome White

A formalization of geometric constraint systems and their decomposition

JOURNAL ARTICLE published March 2010 in Formal Aspects of Computing

Authors: Pascal Mathis | Simon E. B. Thierry

On the Degree of Team Cooperation in CD Grammar Systems

BOOK CHAPTER published 2011 in Descriptional Complexity of Formal Systems

Authors: Fernando Arroyo | Juan Castellanos | Victor Mitrana

On the Number of Components and Clusters of Non-returning Parallel Communicating Grammar Systems

BOOK CHAPTER published 2011 in Descriptional Complexity of Formal Systems

Authors: Erzsébet Csuhaj-Varjú | György Vaszil

A process algebraic framework for specification and validation of real-time systems

JOURNAL ARTICLE published March 2010 in Formal Aspects of Computing

Authors: Adnan Sherif | Ana Cavalcanti | He Jifeng | Augusto Sampaio

Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols

BOOK CHAPTER published 2004 in Formal Approaches to Agent-Based Systems

Authors: Jaime Ramírez | Angélica de Antonio

ASLan++ — A Formal Security Specification Language for Distributed Systems

BOOK CHAPTER published 2011 in Formal Methods for Components and Objects

Authors: David von Oheimb | Sebastian Mödersheim